Variable Sets and Functions
نویسندگان
چکیده
In the paper a graph-based speciication language for semantic modeling is proposed. It is as handy as conventional graphical languages but, in contrast to them, possesses a precisely formalized semantics based on certain ideas of the mathematical category theory. In particular, it provides mathematically correct semantics for formerly somewhat mythical notions of object identity and weak entity type. Among other beneets of the approach there are provable (!) univer-sality w.r.to simulation of any other formal data speciication, exibil-ity and uniication in treating various kinds of associations and relationships , precise semantic basis for the familiar distinguishing between the specialization and generalization ISA-relationships, intrinsic object-orientedness.
منابع مشابه
Application of tests of goodness of fit in determining the probability density function for spacing of steel sets in tunnel support system
One of the conventional methods for temporary support of tunnels is to use steel sets with shotcrete. The nature of a temporary support system demands a quick installation of its structures. As a result, the spacing between steel sets is not a fixed amount and it can be considered as a random variable. Hence, in the reliability analysis of these types of structures, the selection of an appropri...
متن کاملDecomposition of supra soft locally closed sets and supra SLC-continuity
In this paper, we introduce two different notions of generalized supra soft sets namely supra A--soft sets and supra soft locally closed sets in supra soft topological spaces, which are weak forms of supra open soft sets and discuss their relationships with each other and other supra open soft sets [{it International Journal of Mathematical Trends and Technology} (IJMTT), (2014) Vol. 9 (1):37--...
متن کاملSupport vector regression with random output variable and probabilistic constraints
Support Vector Regression (SVR) solves regression problems based on the concept of Support Vector Machine (SVM). In this paper, a new model of SVR with probabilistic constraints is proposed that any of output data and bias are considered the random variables with uniform probability functions. Using the new proposed method, the optimal hyperplane regression can be obtained by solving a quadrati...
متن کاملTIME-VARYING FUZZY SETS BASED ON A GAUSSIAN MEMBERSHIP FUNCTIONS FOR DEVELOPING FUZZY CONTROLLER
The paper presents a novel type of fuzzy sets, called time-Varying Fuzzy Sets (VFS). These fuzzy sets are based on the Gaussian membership functions, they are depended on the error and they are characterized by the displacement of the kernels to both right and left side of the universe of discourse, the two extremes kernels of the universe are fixed for all time. In this work we focus only on t...
متن کاملCharacterizing sub-topical functions
In this paper, we first give a characterization of sub-topical functions with respect to their lower level sets and epigraph. Next, by using two different classes of elementary functions, we present a characterization of sub-topical functions with respect to their polar functions, and investigate the relation between polar functions and support sets of this class of functions. Finally, we obtai...
متن کامل